Structural health monitoring system based on multi-agent coordination and fusion for large structure

In practical applications of structural health monitoring technology, a large number of distributed sensors are usually adopted to monitor the big dimension structures and different kinds of damage. The monitored structures are usually divided into different sub-structures and monitored by different sensor sets. Under this situation, how to manage the distributed sensor set and fuse different methods to obtain a fast and accurate evaluation result is an important problem to be addressed deeply. In the paper, a multi-agent fusion and coordination system is presented to deal with the damage identification for the strain distribution and joint failure in the large structure. Firstly, the monitoring system is adopted to distributedly monitor two kinds of damages, and it self-judges whether the static load happens in the monitored sub-region, and focuses on the static load on the sub-region boundary to obtain the sensor network information with blackboard model. Then, the improved contract net protocol is used to dynamically distribute the damage evaluation module for monitoring two kinds of damage uninterruptedly. Lastly, a reliable assessment for the whole structure is given by combing various heterogeneous classifiers strengths with voting-based fusion. The proposed multi-agent system is illustrated through a large aerospace aluminum plate structure experiment. The result shows that the method can significantly improve the monitoring performance for the large-scale structure.     

Controlling Au electrode patterns for simultaneously monitoring electrical actuation and shape recovery in shape memory polymer

This paper presents an effective approach to achieve efficient electrical actuation and monitoring of shape recovery based on patterned Au electrodes on shape memory polymer (SMP). The electrically responsive shape recovery behavior was characterized and monitored by the evolution change in electrical resistance of patterned Au electrode. Both electrical actuation and temperature distribution in the SMP have been improved by optimizing the Au electrode patterns. The electrically actuated shape recovery behavior and temperature evolution during the actuation were monitored and characterized. The resistance changes could be used to detect beginning/finishing points of the shape recovery. Therefore, the Au electrode not only significantly enhances the electrical actuation performance to achieve a fast electrical actuation, but also enables the resistance signal to detect the free recovery process.     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.     

Effect of H2O2 concentration on electrochemical growth and properties of vertically oriented ZnO nanorods electrodeposited from chloride solutions

In this work, ZnO nanostructures are electrodeposited on a transparent conducting glass from chloride baths. The influence of H₂O₂ concentration on the electrochemical characteristics has been studied using cyclic voltammetry (CV) and chronoamperometry (CA) techniques. From the analysis of the current transients on the basis of the Scharifker–Hills model, it is found that nucleation mechanism is progressive with a typical three-dimensional (3D) nucleation and growth process; independently with the concentration of H₂O₂. However, the nucleation rate of the ZnO changes with the increase of H₂O₂ concentration. The Mott–Schottky measurements demonstrate an n-type semiconductor character for all samples with a carrier density varying between 5.14×10¹⁸ cm⁻³ and 1.47×10¹⁸ cm⁻³. Scanning electron microscopy (SEM) observations show arrays of vertically aligned ZnO nanorods (NRs) with good homogeneity. The X-ray diffraction (XRD) patterns show that the ZnO deposited crystallises according to a hexagonal Würtzite-type structure and with the c-axis perpendicular to the electrode surface. The directional growth along (002) crystallographic plane is very important for deposits obtained at 5 and 7 mM of H₂O₂. The high optical properties of the ZnO NRs with a low density of deep defects was checked by UV–vis transmittance analyses, the band gap energy of films varies between 3.23 and 3.31 eV with transparency around 80–90%.     

Sub-surface stress measurement of cross welds in a dissimilar welded pressure vessel

Manufacturing process of pressure vessels used in high-temperature applications normally needs employing dissimilar metal welds (DMWs) between austenitic and ferritic steel. However, high amount of thermal stresses at the welds are induced due to differences in coefficient of thermal expansion between the types of steel. This study investigates the evaluation of welding residual stresses in a pressure vessel manufactured by DMW of 316 L stainless steel shell to A106 carbon steel caps as well as similar welding of stainless steel shells. By using longitudinal critically refracted (LCR) ultrasonic waves, the residual stresses are experimentally measured. The ultrasonic method is based on acoustoelasticity law by which the ultrasonic wave velocity could be connected to the material stress. By changing the frequency in which the ultrasonic transducers are working, the LCR waves are able to penetrate in various depths of the material in order to measure the sub-surface residual stresses. Hence, four main aspects are considered in this study: (I) stress evaluation of the DMW; (II) sub-surface stress measurement; (III) stress evaluation of longitudinal weld and (IV) stress measurement in cross weld. It is demonstrated that the residual stresses of the DMW pressure vessel could be comprehensively evaluated by using the LCR method.     

Modelling,simulation and identification of an engine air path electromechanical actuator

This paper deals with the modelling and the identification of an electromechanical Diesel engine actuator. The studied Bosch GPA-S actuator is designed for swirl/tumble flaps to control the air amount entering into the cylinder. This study aims to design a complete simulator that reproduces, with sufficient accuracy, the actuator dynamics taking into account the effects of the friction phenomenon. Hence, an overview of the actuator structure and its operation principle is first given. Then, its mathematical model as well as the nonlinearity, related to its behaviour, is discussed. Next, three identification procedures, which allow estimating both the system parameters and the friction model coefficients, are introduced. Finally, simulation results, using MATLAB, and experimental results, using LabVIEW, are presented demonstrating the effectiveness of the proposed techniques.     

Electromagnetism-like algorithms for optimized tool path planning in 5-axis flank machining

Optimization of tool path planning using metaheuristic algorithms such as ant colony systems (ACS) and particle swarm optimization (PSO) provides a feasible approach to reduce geometrical machining errors in 5-axis flank machining of ruled surfaces. The optimal solutions of these algorithms exhibit an unsatisfactory quality in a high-dimensional search space. In this study, various algorithms derived from the electromagnetism-like mechanism (EM) were applied. The test results of representative surfaces showed that all EM-based methods yield more effective optimal solutions than does PSO, despite a longer search time. A new EM-MSS (electromagnetism-like mechanism with move solution screening) algorithm produces the most favorable results by ensuring the continuous improvement of new searches. Incorporating an SPSA (simultaneous perturbation stochastic approximation) technique further improves the search results with effective initial solutions. This work enhances the practical values of tool path planning by providing a satisfactory machining quality.     

Producing fully-lamellar microstructure for wrought beta-gamma TiAl alloys without single α-phase field

Fine-grained fully-lamellar (FL) microstructure is desired for TiAl components to serve as compressor/turbine blades and turbocharger turbine wheels. This study deals with the process and phase transformation to produce FL microstructure for Mo stabilized beta-gamma TiAl alloys without single α-phase field. Unlike the α + γ two-phased TiAl or beta-gamma TiAl with single α-phase field, the wrought multi-phase TiAl–4/6Nb–2Mo–B/Y alloys exhibit special annealing process to obtain FL microstructure. Short-term annealing at temperatures slightly above β-transus is recommended to produce the desired FL microstructure. The related mechanism is to guarantee the sufficient diffusion homogenization of β stabilizers during single β-phase annealing, and further avoid α decomposition by α → γ + β when cooling through α + β + γ phase field. The colony boundary β phase contributes to fine-grained nearly FL microstructure, by retarding the coarsening of the α phase grains.     

A two stage heuristic algorithm for the integrated aircraft and crew schedule recovery problems

Airline disruptions incurred huge cost for airlines and serious inconvenience for travelers. In this paper, we study the integrated aircraft and crew schedule recovery problem. A two stage heuristic algorithm for the integrated recovery problem is proposed. In the first stage, the integrated aircraft recovery and flight-rescheduling model with partial crew consideration is built. This model is based on the traditional multi-commodity network model for the aircraft schedule recovery problem. The objective of this model also includes minimization of the original crew connection disruption. In the second stage, the integrated crew schedule recovery and flight re-scheduling model with partial aircraft consideration is built. We proposed a new multi-commodity model for the crew schedule recovery. The main advantage of such model is that it is much more efficient to integrate the flight-scheduling and aircraft consideration. New constraints are incorporated to guarantee that the aircraft connections generated in the stage 1 are still feasible. Two stages are run iteratively until no improvement can be achieved. Experimental results show that our method can provide better recovery solutions compared with the benchmark algorithms.     

Stereo matching cost computation based on nonsubsampled contourlet transform

A new matching cost computation method based on nonsubsampled contourlet transform (NSCT) for stereo image matching is proposed in this paper. Firstly, stereo image is decomposed into high frequency sub-band images at different scales and along different directions by NSCT. Secondly, by utilizing coefficients in high frequency domain and grayscales in RGB color space, the computation model of weighted matching cost between two pixels is designed based on the gestalt laws. Lastly, two types of experiments are carried out with standard stereopairs in the Middlebury benchmark. One of the experiments is to confirm optimum values of NSCT scale and direction parameters, and the other is to compare proposed matching cost with nine known matching costs. Experimental results show that the optimum values of scale and direction parameters are respectively 2 and 3, and the matching accuracy of the proposed matching cost is twice higher than that of traditional NCC cost.